$\forall$${\it es}$:ES, $X$:AbsInterface(Top), $e$:E. ($\uparrow$($e$ $\in_{b}$ prior($X$))) $\Rightarrow$ (prior($X$)($e$) $<$ $e$)